Inheritance of Object Behavior - Consistent Extension of Object Life Cycles

Inheritance is one of the most prominent features of object-oriented design. Object types are organized in hierarchies in which subtypes inherit the structure as well as the behavior of supertypes. As inheritance of behavior is concerned, the discussion has mainly focused on inheritance of single activities in the past. Object behavior, however, is speciied at two interrelated levels of detail: at the activity level and at the object type level. The latter is speciied in terms of object life cycles that identify legal sequences of states and activities. In this paper we treat inheritance of object life cycles in the realm of Behavior Diagrams, which are based on Petri nets. A behavior diagram of an object type models the possible life cycles of its instances by states, activities, and arcs corresponding to places, transitions, and arcs of Petri nets. In an inheritance hierarchy, subtypes usually specialize supertypes in two ways: by extension and by reenement. For Behavior Diagrams, extension means adding activities, states, and arcs; and reenement means expanding activities and states in subnets. The main contribution of this paper is a set of suucient and necessary conditions to check whether a behavior diagram B 0 consistently extends another behavior diagram B.